تعداد ۱ پاسخ غیر تکراری از ۱ پاسخ تکراری در مدت زمان ۲,۶۰ ثانیه یافت شد.

1. 30, 2010, Revised Selected Papers-Oriented Software: International Conference, FoVeOOS 2010, Paris, France, June 28-Formal Verification of Object

المؤلف: / (eds.)فJune Andronick (auth.), Bernhard Beckert, Claude March

المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)

موضوع: ARCHITECTURE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY&COMPUTER SCIENCE, HARDWARE

رده :

E-BOOK

تتم إدارة هذا الموقع عبر مؤسسة دار الحديث العلمية - الثقافية ومركز البحوث الكمبيوترية للعلوم الإسلامية (نور)
المكتبات هي المسؤولة عن صحة المعلومات كما أن الحقوق المعنوية للمعلومات متعلقة بها